Nuprl Lemma : it_wf
13,42
postcript
pdf
Unit
latex
Up
core
2
,
core
2
Definitions
,
Unit
,
t
T
origin
Unit Unit T